Encode files with the RealVideo Batch Encoder.

Audio & Video codec names are same as in RVEncoder.